Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Computer programming
• Memory management
• Software bugs
• Programming language implementation
• Functional languages
• C++
• Pointer
• C dynamic memory allocation
• Buffer overflow protection
• Optimizing compiler

Linear Scan Register Allocation MASSIMILIANO POLETTO Laboratory for Computer Science, MIT and VIVEK SARKAR IBM Thomas J. Watson Research Center

Source URL: web.cs.ucla.edu

• Graph theory
• Compiler optimizations
• Graph coloring
• Register allocation
• Optimizing compiler
• Static single assignment form
• Topological graph theory
• Book:Graph Theory

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang

Source URL: www.cs.columbia.edu

• Parallel computing
• Compiler optimizations
• Concurrent computing
• Concurrency
• OpenMP
• Thread
• Synchronization
• Optimizing compiler
• Data-flow analysis
• Static single assignment form
• POSIX Threads

JOVE An ™ Optimizing Compiler for Java Allen Wirfs-Brock

Source URL: www.wirfs-brock.com

How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored

Source URL: www.hboehm.info

• Computing
• Software engineering
• Software
• Compiler construction
• Concurrency
• Programming language implementation
• Parallel computing
• Memory model
• Volatile
• Java memory model
• OpenMP
• Optimizing compiler

Safe Parallel Programming in an Interpreted Language Chen Ding, Brian Gernhardt, Pengcheng Li Matthew Hertz Department of Computer Science

Source URL: polaris.cs.uiuc.edu

• Parallel computing
• Concurrent programming languages
• Functional languages
• MultiLisp
• Optimizing compiler
• Speculative
• Automatic parallelization